A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

机译：用于BBI的标记后续微积分：证明理论和证明搜索

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Alwen Tiu;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A labelled sequent calculus for BBI: proof theory and proof search [J] . ZHE HOU, RAJEEV GORE, ALWEN TIU Journal of logic and computation . 2018,第4期

机译：BBI标记后继演算：证明理论和证明搜索
2. A new sequent calculus for automated proof search [J] . Meryam Zeryouh, Mohamed El Marraki, Mohamed Essalih Applied mathematical sciences . 2014,第100期

机译：用于自动证明搜索的新的后续演算
3. A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems [J] . StéphaneJeanLengrand, RoyDyckhoff, JamesMcKinna Logical Methods in Computer Science . 2011,第1期

机译：用于纯类型系统中的证明搜索的聚焦顺序演算框架
4. A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search [C] . Zhe Hou, Alwen Tiu, Rajeev Gore International conference on automated reasoning with analytic tableaux and related methods . 2013

机译：标记为BBI的后续演算：证明理论和证明搜索
5. Logical approaches to the complexity of search problems: Proof complexity, quantified propositional calculus, and bounded arithmetic. [D] . Morioka, Tsuyoshi. 2005

机译：解决搜索问题复杂性的逻辑方法：证明复杂性，量化命题演算和有界算术。
6. A new proof of the generalized Hamiltonian–Real calculus [O] . Dongpo Xu, Hua Gao, Danilo P. Mandic 2016

机译：广义哈密顿实数演算的新证明
7. A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search [O] . Hou, Zhe, Tiu, Alwen, Gore, Rajeev 2015

机译：用于BBI的标记后续微积分：证明理论和证明搜索
8. Application of automated reasoning to proof translation and to finding proofs with specified properties: A case study in many-valued sentential calculus. [R] . L. Wos W. McCune 1991

机译：自动推理在证明翻译和寻找具有特定属性的证据中的应用：在多值句子演算中的案例研究。

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

著录项

引文网络

相似文献

相关主题

期刊订阅